Перевод: со всех языков на русский

с русского на все языки

индивидная переменная

См. также в других словарях:

  • ИНДИВИДНАЯ ПЕРЕМЕННАЯ — предметная переменная, символ формального языка, служащий для обозначения произвольного элемента (индивида) в структурах, описываемых этим языком. Всякий формальный язык содержит один или несколько сортов И. п., причем переменных каждого сорта… …   Математическая энциклопедия

  • ПРЕДМЕТНАЯ ПЕРЕМЕННАЯ — то же, что индивидная переменная. См. также Предикатов исчисление …   Математическая энциклопедия

  • СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ —     СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов.     Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие… …   Философская энциклопедия

  • логика предикатов — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • логика функциональная — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • теория квантификации — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • кванторная логика — (Функциональная логика) (теория квантификации) (кванторная логика) основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно предикатную) структуру высказываний. Л. п.… …   Словарь терминов логики

  • Терм (логика) — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»